integration of cos(3x)